Debugging and Testing Optimizers through Comparison Checking

Debugging and Testing Optimizers through Comparison Checking

We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed by the application of optimizations. We have successfully applied comparison checking to a large class of program transformations that alter (1) the relative ordering in which values are computed by the intermediate c...

Verifying Optimizers through Comparison Checking

In this paper we describe a novel technique called comparison checking that helps optimizer writers validate and debug optimizers by verifying for given inputs that the semantics of a program are not changed by the application of optimizations We outline the key steps that lead to the automation of comparison checking The application of comparison checking to verify implementations of high leve...

Experience in Testing Compiler Optimizers Using Comparison Checking

This paper describes our experience of testing and debugging an optimizer using comparison checking. Although this study is based on Jaramillo et al.’s work, the experience will help those who test optimizers using this technique. In our implementation, important values during the execution of programs are output as a file trace before and after each optimization. Then a comparison phase checks...

Connectivity Testing Through Model-Checking

In this paper we show how to automatically generate test sequences that are aimed at testing the interconnections of embedded and communicating systems. Our proposal is based on the connectivity fault model proposed by [8], where faults may occur in the interface between the software and its environment rather than in the software implementation. We show that the test generation task can be car...

Testing Debugging